-notrace -mode batch -source test_vivado_minimal_0.tcl
-notrace -mode batch -source test_vivado_minimal_0_run.tcl test_vivado_minimal_0.xpr
